1. Mathematics mechanization and applications
Author: edited by Xiao-Shan Gao and Dongming Wang
Library: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
Subject: Equations, Numerical solutions, Data processing,Automatic theorem proving
Classification :
{
1648
},
58f5cd92ab378d5ba32c2e983504bc9f
2. Parallel virtual machine, EuroPVM '96 :
Author: Arndt Bode [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel computers -- Congresses.,Parallel computers.,Virtual computer systems -- Congresses.
Classification :
QA76
.
58
A763
1996
